Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add invitation to open issues #524

Merged
merged 4 commits into from
Dec 17, 2024
Merged

Conversation

torgo
Copy link
Contributor

@torgo torgo commented Jun 4, 2024

Add an invitation to open issues to the regexp summary doc

Add an invitation to open issues to the regexp summary doc

Signed-off-by: Daniel Appelquist <[email protected]>
Copy link
Member

@ctcpip ctcpip left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM; also added a suggestion of possible rewording

docs/Correctly-Using-Regular-Expressions.md Outdated Show resolved Hide resolved
Co-authored-by: Chris de Almeida <[email protected]>
Signed-off-by: Daniel Appelquist <[email protected]>
@torgo
Copy link
Contributor Author

torgo commented Jun 7, 2024

LGTM; also added a suggestion of possible rewording

Thanks for that @ctcpip. I've accepted the suggestion and also edited #523 to match,

@gkunz
Copy link
Contributor

gkunz commented Dec 3, 2024

Hi @torgo! Are you still interested in getting this in? I support the idea but would ask for incorporating @david-a-wheeler's suggestion.

@torgo
Copy link
Contributor Author

torgo commented Dec 17, 2024

Amended to reflect @david-a-wheeler's request. On that basis, and the basis of our discussion in today's call, I think this can be merged.

@david-a-wheeler
Copy link
Contributor

Looks great, but we had a merge conflict. I fixed it in the way I think it was intended.

@david-a-wheeler
Copy link
Contributor

@torgo thanks so much! Let's just merge!

@david-a-wheeler david-a-wheeler merged commit 5316e58 into main Dec 17, 2024
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants